(module
  (import "env" "assert_eq_i32" (func $assert_eq_i32 (param i32 i32)))
  (start $main)
  (func $main (export "main")
    (call $assert_eq_i32 (call $add1 (i32.const 100)) (i32.const 101))
  )
  (func $add1 (param i32) (result i32)
    (local.get 0)
    (i32.const 1)
    (i32.add)
    (local.set 0)
    (local.get 0)
  )
)
